aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2006-08-28 17:34:57 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2006-08-28 17:34:57 +0000
commit76873436829da491cf0bd6e4e54c0269e3cc3dc4 (patch)
treeca0d2073fbfdea85693968ab55a214b11f189915 /Makefile
parent0e99e06b8fd27fa25456f7715d6df23a2a0b4870 (diff)
Cleanup makefiles
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index e89d62f7..4022bbb4 100644
--- a/Makefile
+++ b/Makefile
@@ -61,6 +61,8 @@ BROKENELC=
default: all
+FORCE:
+
##
## compile : byte compile files in working directory:
## Clearout old .elc's and re-compile in a