From d92a65c43eb717c0cc1fcb26ae1a66d0e38b8752 Mon Sep 17 00:00:00 2001
From: Guillaume Allais <guillaume.allais@ens-lyon.org>
Date: Thu, 2 Apr 2020 22:21:40 +0100
Subject: [PATCH] [ admin ] add empty default target distinct from clean

Tired of having to rebuild everything because I typed `make` in
the wrong directory.
---
 src/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Makefile b/src/Makefile
index 4a73662..697cfb7 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -1,3 +1,5 @@
+all:
+
 clean:
 	rm -f YafflePaths.idr
 	find . -name '*.ibc' | xargs rm -f