Browse Source

Fixed directory cleaning script

Samuel W. Flint 8 years ago
parent
commit
2abd43af7e
1 changed files with 1 additions and 0 deletions
  1. 1 0
      clean-directory

+ 1 - 0
clean-directory

@@ -11,3 +11,4 @@ rm -f *.lol 2> /dev/null
 rm -f *.log 2> /dev/null
 rm -f *.out 2> /dev/null
 rm -f *.run.xml 2> /dev/null
+rm -f flycheck_* 2> /dev/null