diff options
| author | Keir Fraser <keir.fraser@citrix.com> | 2008-04-21 20:08:29 +0100 |
|---|---|---|
| committer | Keir Fraser <keir.fraser@citrix.com> | 2008-04-21 20:08:29 +0100 |
| commit | 103cff93e239ecba1a95c931f2b13f43114b923f (patch) | |
| tree | 3bec92c04c4d77cd9596837de4b7719b50ea17b8 /xen/tools | |
| parent | 66a882392272346ce1d0bc5a26568894f450a7c0 (diff) | |
| download | xen-103cff93e239ecba1a95c931f2b13f43114b923f.tar.gz xen-103cff93e239ecba1a95c931f2b13f43114b923f.tar.bz2 xen-103cff93e239ecba1a95c931f2b13f43114b923f.zip | |
Cache figlet output across builds, and provide src-tarball target
which creates figlet output and then deletes figlet itself (which is
not licensed under GPL).
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
Diffstat (limited to 'xen/tools')
| -rw-r--r-- | xen/tools/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/xen/tools/Makefile b/xen/tools/Makefile index 1609289c47..922f15fae4 100644 --- a/xen/tools/Makefile +++ b/xen/tools/Makefile @@ -4,12 +4,12 @@ include $(XEN_ROOT)/Config.mk .PHONY: default default: - $(MAKE) -C figlet + [ -d figlet ] && $(MAKE) -C figlet $(MAKE) symbols .PHONY: clean clean: - $(MAKE) -C figlet clean + [ -d figlet ] && $(MAKE) -C figlet clean rm -f *.o symbols symbols: symbols.c |