1 files changed, 7 insertions, 0 deletions
diff --git a/tools/checkwps/cleanall.sh b/tools/checkwps/cleanall.sh
new file mode 100755
index 0000000000..6cd1a90676
--- /dev/null
+++ b/tools/checkwps/cleanall.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+cat targets.txt | (
+    while read target model
+    do
+        rm -f checkwps.$model
+    done
+)

diff --git a/tools/checkwps/cleanall.sh b/tools/checkwps/cleanall.sh new file mode 100755 index 0000000000..6cd1a90676 --- /dev/null +++ b/tools/checkwps/cleanall.sh
@@ -0,0 +1,7 @@
	1	#!/bin/sh
	2	cat targets.txt \| (
	3	while read target model
	4	do
	5	rm -f checkwps.$model
	6	done
	7	)