editing the path for bin

citypilgrim · Apr 16, 2022 · a83969e · a83969e
1 parent 3c65704
commit a83969e
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -3,4 +3,5 @@
 .gitconfig*
 .git*
 .authinfo
-.gnupg/
+.gnupg/
+bin/*
diff --git a/src/common/set_path.bat b/src/common/set_path.bat
@@ -1,6 +1,7 @@
 :: To be run after setting the HOME variable
 
 set PATH=
+set PATH=%PATH%;%HOME%bin
 set PATH=%PATH%;C:\Program Files\Common Files\Oracle\Java\javapath
 set PATH=%PATH%;%HOME%cots\Git\cmd
 set PATH=%PATH%;%HOME%cots\Git\usr\bin

diff --git a/src/common/set_path_for_build.bat b/src/common/set_path_for_build.bat
@@ -3,6 +3,7 @@
 :: To be run after setting the HOME variable
 
 set PATH=
+set PATH=%PATH%;%HOME%bin
 set PATH=%PATH%;C:\Program Files\Common Files\Oracle\Java\javapath
 set PATH=%PATH%;C:\msys64\usr\bin
 set PATH=%PATH%;C:\msys64\mingw64\bin
-Original file line number
+Diff line change
@@ Expand Up / @@ -3,4 +3,5 @@ @@
     .gitconfig*
     .git*
     .authinfo
-    .gnupg/
+    .gnupg/
+    bin/*