File: runner.bash

package info (click to toggle)
python-pyflow 1.1.20-4
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 996 kB
  • sloc: python: 4,154; sh: 219; ansic: 15; makefile: 5
file content (17 lines) | stat: -rwxr-xr-x 396 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
#!/usr/bin/env bash

thisdir=$(dirname $0)

cd $thisdir

if ! [ -e ./runner ]; then
    # turning on -O2 is too variable accross different platforms, so leave off:
    #
    # the move and sleep steps here help to make sure that we don't get a "text file busy"
    # error on the ./runner call below:
    #
    gcc ./runner.c -lm -o runner.tmp && mv runner.tmp runner && sleep 1
fi

./runner $1