diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -179,7 +179,7 @@ clean_failed: -not -name base \ -print0 \ | xargs -r -0 -n1 -i \ - $(SHELL) -c 'test -d "{}/build" || rm -rf "{}"') + $(SHELL) -c 'test -d "{}/build" || rm -rf "{}"'; ) clean_bases: |