diff --git a/make_deb b/make_deb index a913660..b8e16cd 100755 --- a/make_deb +++ b/make_deb @@ -136,10 +136,10 @@ if [[ $skip_build == 0 ]]; then fi echo "install fledge" if [ "${ARCH_NAME}" = "armhf" ]; then - cd ${GIT_ROOT} && sudo make install USE_PIP_CACHE=yes && export FLEDGE_ROOT=/usr/local/fledge + cd ${GIT_ROOT} && sudo make install STRIP_EXEC=1 USE_PIP_CACHE=yes && export FLEDGE_ROOT=/usr/local/fledge else sudo ./requirements.sh - cd ${GIT_ROOT} && sudo make install && export FLEDGE_ROOT=/usr/local/fledge + cd ${GIT_ROOT} && sudo make install STRIP_EXEC=1 && export FLEDGE_ROOT=/usr/local/fledge fi fi diff --git a/make_rpm b/make_rpm index 16ba742..724b4c2 100755 --- a/make_rpm +++ b/make_rpm @@ -179,7 +179,7 @@ if [[ $skip_build == 0 ]]; then set -e make - sudo make install + sudo make install STRIP_EXEC=1 # Restores FLEDGE_ROOT export FLEDGE_ROOT=${FLEDGE_ROOT_BCK}