all.sh: Clean up

hexaredecimal · hexaredecimal · commit 1430da3b75cb · 2025-06-26T03:03:31.000+02:00
diff --git a/all.sh b/all.sh
@@ -88,10 +88,6 @@ install() {
   log "Installation is done"
 }
 
-verify() {
-  ./verify.sh
-}
-
 finalCleanUp() {
   log "Final clean up"
   rm -rf $OUTPUT $APP_NAME $JARDIR
