diff options
Diffstat (limited to 'src/Makefile.in')
-rw-r--r-- | src/Makefile.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 6f22f7b8..b1c47d63 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -14,7 +14,7 @@ @SET_MAKE@ -# Copyright (C) 2012, Gabriel Dos Reis. +# Copyright (C) 2012-2013, Gabriel Dos Reis. # All rights reserved. # # Redistribution and use in source and binary forms, with or without @@ -762,6 +762,10 @@ all-algebra: all-driver all-interpsys all-share all-hyper-pre all-algstrap: all-driver all-interpsys cd algebra && $(MAKE) $(AM_MAKEFLAGS) $@ +.PHONY: all-layer-% +all-layer-%: all-driver all-interpsys + cd algebra && $(MAKE) $(AM_MAKEFLAGS) $@ + .PHONY: all-initdb all-initdb: all-driver all-interpsys cd algebra && $(MAKE) $(AM_MAKEFLAGS) $@ |