diff --git a/Desktop_Interface/make_appimage b/Desktop_Interface/make_appimage index f1b5d8bf..eca20d8e 100755 --- a/Desktop_Interface/make_appimage +++ b/Desktop_Interface/make_appimage @@ -1,5 +1,7 @@ #!/bin/bash +set -e + qmake APPIMAGE=1 CONFIG+=release PREFIX=/usr DEFINES+=GIT_HASH_SHORT=$(git rev-parse --short HEAD) make -j$(nproc) CXX=${CXX} CC=${CC} LINK=${CXX} make INSTALL_ROOT=appdir install ; find appdir/ diff --git a/Desktop_Interface/make_deb b/Desktop_Interface/make_deb index d8c60b0a..b5aed946 100755 --- a/Desktop_Interface/make_deb +++ b/Desktop_Interface/make_deb @@ -1,8 +1,10 @@ #!/bin/bash +set -e + qmake DEB=1 CONFIG+=release PREFIX=/usr DEFINES+=GIT_HASH_SHORT=$(git rev-parse --short HEAD) make -j$(nproc) CXX=${CXX} CC=${CC} LINK=${CXX} -rm -R deb +rm -rf deb make INSTALL_ROOT=deb install; find deb/ cp -r resources/debian deb/DEBIAN dpkg-deb --build deb