diff options
| author | Daniel Roethlisberger <[email protected]> | 2012-04-18 00:02:14 +0200 |
|---|---|---|
| committer | Daniel Roethlisberger <[email protected]> | 2012-04-18 00:02:14 +0200 |
| commit | 8b520cf4de78994c19a33c8a2cf3d5f4ff500af8 (patch) | |
| tree | f0c569ccd9dc10c285516033df4dfd0fc0b12774 /extra | |
| parent | d4be8c3e38aef4c507714a04e9ce79147e3d7a77 (diff) | |
Redirect BSD make to GNU make
Diffstat (limited to 'extra')
| -rw-r--r-- | extra/pki/BSDmakefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/extra/pki/BSDmakefile b/extra/pki/BSDmakefile new file mode 100644 index 0000000..5e7470c --- /dev/null +++ b/extra/pki/BSDmakefile @@ -0,0 +1,6 @@ +USE_GNU: + @gmake $(.TARGETS) + +$(.TARGETS): USE_GNU + +.PHONY: USE_GNU |