diff options
| author |   khilman <khilman@users.noreply.github.com> | 2018-07-27 08:22:10 -0500 |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2018-07-27 08:22:10 -0500 |
| commit | 61a473fb56ef7418314385df7b72cd58e40a2ff2 (patch) | |
| tree | 6502b5650c12f630bb6aada9448ca4238b556148 /lavalab-gen.sh | |
| parent | d733f2d4280959fed968d1589580f46460ecba27 (diff) | |
| parent | b19b71ab89761e801c27038f093d76655efabfbf (diff) | |
Merge pull request #36 from montjoie/miscfix_07_2018b
Miscfix 07 2018b
Diffstat (limited to 'lavalab-gen.sh')
| -rwxr-xr-x | lavalab-gen.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lavalab-gen.sh b/lavalab-gen.sh index 08ab2ad..fd39c15 100755 --- a/lavalab-gen.sh +++ b/lavalab-gen.sh @@ -1,8 +1,8 @@ #!/bin/sh -rm lava-master/scripts/build-lava -rm lava-slave/scripts/build-lava -rm -r output +rm -f lava-master/scripts/build-lava +rm -f lava-slave/scripts/build-lava +rm -rf output if [ "$1" = "mrproper" ];then exit 0 |