summaryrefslogtreecommitdiffstats
path: root/bin/purge.sh
diff options
context:
space:
mode:
Diffstat (limited to 'bin/purge.sh')
-rwxr-xr-xbin/purge.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/purge.sh b/bin/purge.sh
index 80790f319f..bc8f92ad9f 100755
--- a/bin/purge.sh
+++ b/bin/purge.sh
@@ -2,4 +2,4 @@
make clean
find . -name "Makefile*" |xargs rm
-rm -rf build
+rm -rf build include