Add the ability to trigger a print from JavaScript for the old wxWebKitCtrl.

[wxWidgets.git] / interface / check_syntax.sh

diff --git a/interface/check_syntax.sh b/interface/check_syntax.sh
index 21c1a741db33823e5a7a678a47087d8fd3cc6286..069a52e466f339ebce753d7da3d9e622a77d342e 100755 (executable)
--- a/interface/check_syntax.sh
+++ b/interface/check_syntax.sh
@@ -6,7 +6,7 @@
 # Author: Francesco Montorsi
 
 
-rm missing_semicolons
+rm -f missing_semicolons
 
 # the preprocessor will remove comments and all #preprocessor #stuff;
 # we then remove the empty lines