aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2025-09-10 22:47:21 +0200
committerThomas Voss <mail@thomasvoss.com> 2025-09-10 22:47:21 +0200
commit600913d1ed54dd575548cdcf38ee09103f51cfc8 (patch)
tree9472f59bd513d4667008587562761489d23dd47c
parent636aa90030403972fb6e80b17260618aa0a291dd (diff)
Fix target name
-rw-r--r--.gitignore2
-rw-r--r--Makefile4
2 files changed, 3 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore
index 27b4ad7..96cdcad 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,3 @@
-benläkaren
+benkirurgen
main.c
instrs
diff --git a/Makefile b/Makefile
index 730f623..2a5eeb4 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
-all: benläkaren
+all: benkirurgen
-benläkaren: main.l
+benkirurgen: main.l
flex --warn -o main.c $<
cc -D_GNU_SOURCE -std=c23 -o $@ main.c