diff options
Diffstat (limited to 'round-robin.sh')
| -rw-r--r-- | round-robin.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/round-robin.sh b/round-robin.sh index d21d876b..242c81b7 100644 --- a/round-robin.sh +++ b/round-robin.sh @@ -359,7 +359,7 @@ build_abe () # Remove previous build directories and .stamp files. # We rely on ccache for fast rebuilds. - if [ !$check ]; then + if [ ! $check ]; then set +f; rm -rf builds/*/*/$git_dir*; set -f fi |