Little script to help clean out git-ignored files.

DUNE · Feb 4, 2015 · a68e0ef · a68e0ef
1 parent 2c02461
commit a68e0ef
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/common/clean.sh b/common/clean.sh
@@ -0,0 +1,10 @@
+#!/bin/bash
+
+# clean out working directory of generated files based on .gitignore
+
+topdir=$(dirname $(dirname $(readlink -f $BASH_SOURCE)))
+for pattern in $(cat $topdir/.gitignore)
+do
+    echo $pattern
+    rm -f $pattern
+done