File scripts/mxe-deploy changed (mode: 100755) (index 3946628dd..07f601090) |
... |
... |
echo ::: VERIFYING PACKAGES... ::: |
83 |
83 |
unzip "$w32.zip" |
unzip "$w32.zip" |
84 |
84 |
unzip "$w64.zip" |
unzip "$w64.zip" |
85 |
85 |
|
|
86 |
|
x32_exe='PE32 executable (console) Intel 80386 (stripped to external PDB), for MS Windows' |
|
87 |
|
x64_exe='PE32+ executable (console) x86-64 (stripped to external PDB), for MS Windows' |
|
|
86 |
|
x32_exe='Intel i386' |
|
87 |
|
x64_exe='x86-64' |
88 |
88 |
|
|
89 |
89 |
ret=0 |
ret=0 |
90 |
90 |
|
|
91 |
|
if [ "$(file -b "$w32/vifm.exe")" != "$x32_exe" ]; then |
|
|
91 |
|
if [[ ! "$(file -b "$w32/vifm.exe")" =~ "$x32_exe" ]]; then |
92 |
92 |
echo "ERROR: Wrong type of $w32/vifm.exe:" |
echo "ERROR: Wrong type of $w32/vifm.exe:" |
93 |
93 |
file -b "$w32/vifm.exe" |
file -b "$w32/vifm.exe" |
94 |
94 |
ret=1 |
ret=1 |
95 |
95 |
fi |
fi |
96 |
|
if [ "$(file -b "$w32/win_helper.exe")" != "$x32_exe" ]; then |
|
|
96 |
|
if [[ ! "$(file -b "$w32/win_helper.exe")" =~ "$x32_exe" ]]; then |
97 |
97 |
echo "ERROR: Wrong type of $w32/win_helper.exe:" |
echo "ERROR: Wrong type of $w32/win_helper.exe:" |
98 |
98 |
file -b "$w32/win_helper.exe" |
file -b "$w32/win_helper.exe" |
99 |
99 |
ret=1 |
ret=1 |
100 |
100 |
fi |
fi |
101 |
|
if [ "$(file -b "$w64/vifm.exe")" != "$x64_exe" ]; then |
|
|
101 |
|
if [[ ! "$(file -b "$w64/vifm.exe")" =~ "$x64_exe" ]]; then |
102 |
102 |
echo "ERROR: Wrong type of $w64/vifm.exe:" |
echo "ERROR: Wrong type of $w64/vifm.exe:" |
103 |
103 |
file -b "$w64/vifm.exe" |
file -b "$w64/vifm.exe" |
104 |
104 |
ret=1 |
ret=1 |
105 |
105 |
fi |
fi |
106 |
|
if [ "$(file -b "$w64/win_helper.exe")" != "$x64_exe" ]; then |
|
|
106 |
|
if [[ ! "$(file -b "$w64/win_helper.exe")" =~ "$x64_exe" ]]; then |
107 |
107 |
echo "ERROR: Wrong type of $w64/win_helper.exe:" |
echo "ERROR: Wrong type of $w64/win_helper.exe:" |
108 |
108 |
file -b "$w64/win_helper.exe" |
file -b "$w64/win_helper.exe" |
109 |
109 |
ret=1 |
ret=1 |