summaryrefslogtreecommitdiffstats
path: root/pintos-progos/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'pintos-progos/Makefile')
-rw-r--r--pintos-progos/Makefile29
1 files changed, 0 insertions, 29 deletions
diff --git a/pintos-progos/Makefile b/pintos-progos/Makefile
deleted file mode 100644
index 3ba9194..0000000
--- a/pintos-progos/Makefile
+++ /dev/null
@@ -1,29 +0,0 @@
1BUILD_SUBDIRS = threads userprog vm filesys intro
2
3all::
4 @echo "Run 'make' in subdirectories: $(BUILD_SUBDIRS)."
5 @echo "This top-level make has only 'clean' targets."
6
7CLEAN_SUBDIRS = $(BUILD_SUBDIRS) examples utils
8
9clean::
10 for d in $(CLEAN_SUBDIRS); do $(MAKE) -C $$d $@; done
11 rm -f TAGS tags
12
13distclean:: clean
14 find . -name '*~' -exec rm '{}' \;
15
16TAGS_SUBDIRS = $(BUILD_SUBDIRS) devices lib
17TAGS_SOURCES = find $(TAGS_SUBDIRS) -name \*.[chS] -print
18
19TAGS::
20 etags --members `$(TAGS_SOURCES)`
21
22tags::
23 ctags -T --no-warn `$(TAGS_SOURCES)`
24
25cscope.files::
26 $(TAGS_SOURCES) > cscope.files
27
28cscope:: cscope.files
29 cscope -b -q -k