Rename wslgit.sh to wslgit.dev.sh

hangxingliu · Jun 1, 2019 · 92897fd · 92897fd
1 parent b7c28f7
commit 92897fd
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/test-ci/main.sh b/test-ci/main.sh
@@ -31,7 +31,7 @@ generate-wslgit-with-mock-mount-info() {
 		/^\s+#\s*endregion\s+'$UNIT_TEST_SIGN'/ { ignore=0; next; }
 		ignore { next; }
 		{ print $0; }
-	' ../wslgit.sh > tmp.sh || throw "generate tmp.sh for ci test failed!"
+	' ../wslgit.dev.sh > tmp.sh || throw "generate tmp.sh for ci test failed!"
 	chmod +x tmp.sh || throw;
 }
 

diff --git a/wslgit.sh → wslgit.dev.sh b/wslgit.sh → wslgit.dev.sh