Handling git push non-zero exit code in tools/push.sh.

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 ?=
 

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"