From f99cc797e66f0bcd152a43cefe8850d22fae2324 Mon Sep 17 00:00:00 2001 From: emma Date: Tue, 16 Jan 2024 16:43:00 -0700 Subject: [PATCH] Makefile: changed to be POSIX-compliant --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 083e262..61b67de 100644 --- a/Makefile +++ b/Makefile @@ -16,7 +16,7 @@ CC=cc RUSTC=rustc # to build, first run ./configure -include *.mk +include cc.mk rustc.mk .PHONY: all all: dj false fop intcmp scrut str strcmp true