From 67befd2797d02c30c7684305b3e1fe7fbf6cec58 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C5=A0ebest=C3=AD=C4=8Dek?= <44745014+SebestikCZ@users.noreply.github.com> Date: Sun, 20 Mar 2022 16:16:54 +0100 Subject: [PATCH] Delete build.sh --- build.sh | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 build.sh diff --git a/build.sh b/build.sh deleted file mode 100644 index 459e85f..0000000 --- a/build.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh - -make - -if [ "$1" == "debug" ]; then - ./out/why2 -fi \ No newline at end of file