From f988147bb28c424f7be3a8ce90767ff1646a2a90 Mon Sep 17 00:00:00 2001 From: simon Date: Sat, 7 Oct 2017 17:13:53 +0100 Subject: [PATCH] Added 'make repl', just because it's an easy way to launch. --- .gitignore | 2 ++ Makefile | 4 ++++ 2 files changed, 6 insertions(+) diff --git a/.gitignore b/.gitignore index a3d5bf6..9bbbb3d 100644 --- a/.gitignore +++ b/.gitignore @@ -10,3 +10,5 @@ nbproject/ *~ src/\.#* + +*.log diff --git a/Makefile b/Makefile index 7916239..35c4627 100644 --- a/Makefile +++ b/Makefile @@ -28,4 +28,8 @@ test: clean: $(RM) $(TARGET) $(OBJS) $(DEPS) +repl: + $(TARGET) -p 2> psse.log + + -include $(DEPS)