diff options
| -rwxr-xr-x | lavalab-gen.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lavalab-gen.sh b/lavalab-gen.sh index fd39c15..cfaabfa 100755 --- a/lavalab-gen.sh +++ b/lavalab-gen.sh @@ -1,11 +1,9 @@ #!/bin/sh -rm -f lava-master/scripts/build-lava -rm -f lava-slave/scripts/build-lava rm -rf output if [ "$1" = "mrproper" ];then exit 0 fi -./lavalab-gen.py || exit 1 +./lavalab-gen.py $* || exit 1 |