diff options
| author |   khilman <khilman@users.noreply.github.com> | 2018-11-02 08:58:01 -0700 |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2018-11-02 08:58:01 -0700 |
| commit | e64ad5a167f3a7cb7491a17a725c6ec365897302 (patch) | |
| tree | 54862b50876f947c1c45fc8e4eea68515dd5abd0 /lavalab-gen.sh | |
| parent | 79fb2bd4abcee9964ca7d74da041650faaba3511 (diff) | |
| parent | 34d90c1659411a1959157729582355c028a41d36 (diff) | |
Merge pull request #63 from montjoie/lavalagen-args
lavalab-gen.sh: Handle arguments
Diffstat (limited to 'lavalab-gen.sh')
| -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 |