Makefile: exclude Judy-depending libraries as well as nfs

(nfs gives warnings on build, make ccanlint unhappy).

diff --git a/Makefile b/Makefile
index 57d207f1ad3a2ad4bfaee991a236c244ea31d7b0..de219725ea7301c96743e1e4064bc91eed6965b8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -12,7 +12,7 @@
 
 # Trying to build the whole repo is usually a lose; there will be some
 # dependencies you don't have.
 
 # Trying to build the whole repo is usually a lose; there will be some
 # dependencies you don't have.

-EXCLUDE=wwviaudio ogg_to_pcm
+EXCLUDE=wwviaudio ogg_to_pcm jmap jbitset nfs

 
 # Where make scores puts the results
 SCOREDIR=scores/$(shell whoami)/$(shell uname -s)-$(shell uname -m)-$(CC)
 
 # Where make scores puts the results
 SCOREDIR=scores/$(shell whoami)/$(shell uname -s)-$(shell uname -m)-$(CC)