Closed webpro closed 10 years ago
It would be convenient to run the make.sh script from anywhere (which is currently not possible because of the call to ./compile). One way to do this:
make.sh
./compile
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
and then
./compile.sh "$tmpfile" "$opt" > "$out"
becomes
"$DIR"/compile.sh "$tmpfile" "$opt" > "$out"
Let me know if you like something like this and I'd be happy to submit a PR.
Please do! :)
It would be convenient to run the
make.sh
script from anywhere (which is currently not possible because of the call to./compile
). One way to do this:and then
becomes
Let me know if you like something like this and I'd be happy to submit a PR.