diff options
Diffstat (limited to 'scripts/compil.sh')
| -rwxr-xr-x | scripts/compil.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/compil.sh b/scripts/compil.sh index c88428d..d0d9265 100755 --- a/scripts/compil.sh +++ b/scripts/compil.sh @@ -1,7 +1,7 @@ #!/bin/bash -e -cd ../bin -cmake ../ -make + +( cd ../src/parser && make ) +( cd ../bin && cmake ../ && make ) if [ $# -gt 0 ] then case $1 in |