mirror of
https://gitlab.gnome.org/GNOME/gitg
synced 2024-10-02 14:13:48 +00:00
4e7a553f1e
- The bash script is called make-installer, not make-gedit-installer. - Fix the second path to bash.exe (for stage2). See: https://git.gnome.org/browse/gedit/commit/?id=b03d7a9749ca6a4960739921b65908f16495a1a8
10 lines
195 B
Batchfile
10 lines
195 B
Batchfile
C:/msys64/usr/bin/bash.exe -c "./make-installer stage1"
|
|
if errorlevel 1 (
|
|
exit /b %errorlevel%
|
|
)
|
|
|
|
C:/msys64/usr/bin/bash.exe -c "./make-installer stage2"
|
|
if errorlevel 1 (
|
|
exit /b %errorlevel%
|
|
)
|