diff --git a/Makefile.mk b/Makefile.mk index 138bc11b6..168b24e56 100644 --- a/Makefile.mk +++ b/Makefile.mk @@ -97,7 +97,7 @@ endif # Optimizations ifeq ($(filter-out debug_release release $(TESTS_TARGET),$(TARGET_MODE)),) - OPTION_OPTIMIZE = enable + OPTION_OPTIMIZE = disable #enable else OPTION_OPTIMIZE = disable endif @@ -167,7 +167,7 @@ CFLAGS_WFATAL_ERRORS ?= -Wfatal-errors # Optimizations CFLAGS_OPTIMIZE ?= -Os -flto -CFLAGS_NO_OPTIMIZE ?= -Og +CFLAGS_NO_OPTIMIZE ?= -O0 LDFLAGS_OPTIMIZE ?= LDFLAGS_NO_OPTIMIZE ?= diff --git a/tools/push.sh b/tools/push.sh index abbb839f4..f529c3660 100755 --- a/tools/push.sh +++ b/tools/push.sh @@ -103,9 +103,7 @@ then echo "Pushing..." echo - git push - - echo -e "\n\e[0;32m Pushed successfully\e[0m\n" + git push && echo -e "\n\e[0;32m Pushed successfully\e[0m\n" || echo -e "\n\e[1;33m Push failed\e[0m" exit 0 else echo -e "\e[1;33m $GIT_STATUS_NOT_CLEAN_MSG. $GIT_STATUS_CONSIDER_CLEAN_MSG.\e[0m\n"