diff --git a/cli/save-as.sh b/cli/save-as.sh
index 0063d13e0..c8791ed36 100644
--- a/cli/save-as.sh
+++ b/cli/save-as.sh
@@ -179,6 +179,7 @@ cd $oldwd
 
 if [[ "$(uname)" =~ "MINGW" ]] || [[ "$(uname)" =~ "MSYS" ]] ; then
     # Ignore this test on Windows because we cannot give * as a parameter (?)
+    echo Do nothing
 else
 d=$t/save-as-groups-and-hidden
 mkdir $d