diff --git a/src/Edsger/make_parser.sh b/src/Edsger/make_parser.sh index 7ac400a..01403a1 100755 --- a/src/Edsger/make_parser.sh +++ b/src/Edsger/make_parser.sh @@ -1,7 +1,7 @@ #!/bin/bash root=$(git rev-parse --show-toplevel) -Edsger=$root/Edsger +Edsger=$root/src/Edsger source_file=$(mktemp) processed=$(mktemp)