Rename script (its a shell script not an sql file!)

This commit is contained in:
phil@volguine.com 2023-10-13 23:48:57 +00:00
parent df94847946
commit 615ef6e80b
2 changed files with 2 additions and 2 deletions

View File

@ -25,9 +25,9 @@ fi
PROG="./dist-newstyle/build/x86_64-linux/ghc-9.2.8/chan-delorean-0.0.1/x/chan-delorean/build/chan-delorean/chan-delorean" PROG="./dist-newstyle/build/x86_64-linux/ghc-9.2.8/chan-delorean-0.0.1/x/chan-delorean/build/chan-delorean/chan-delorean"
# Ensure your_program is compiled and available # Ensure chan-delorean is compiled and available
if ! command -v $PROG >/dev/null; then if ! command -v $PROG >/dev/null; then
echo "Error: your_program is not compiled or not in the PATH!" echo "Error: chan-delorean is not compiled or not in the PATH!"
exit 1 exit 1
fi fi