From b22b2f7551eb0b04cc1317f3df7050dfb1ee8efd Mon Sep 17 00:00:00 2001
From: boredpasta <boredpasta@tutanota.com>
Date: Wed, 15 Jan 2025 01:26:49 +0200
Subject: Replace build script with a makefile

---
 build | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 build

(limited to 'build')

diff --git a/build b/build
deleted file mode 100755
index 2c66a2d..0000000
--- a/build
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/sh -e
-options=""
-options="${options} -g3 -O0"
-options="${options} -Weverything -Wno-declaration-after-statement -Wno-padded -Wno-disabled-macro-expansion"
-options="${options} -std=c99 -Wpedantic -pedantic-errors"
-options="${options} $(pkg-config --cflags --libs ncurses)"
-clang $options -lm -o fun_menu fun_menu.c utils.c richwin.c stack.c cycle.c
-- 
cgit v1.2.3