diff options
| author | /dev/humancontroller <devhc@example.com> | 2017-04-15 17:16:44 +0200 |
|---|---|---|
| committer | /dev/humancontroller <devhc@example.com> | 2017-04-15 17:16:44 +0200 |
| commit | 9def5a580fcecbf60739455ec93f13e631bf7bad (patch) | |
| tree | 6af425c7502793f70d560d3e05bfca32cf5f2d8a | |
| parent | 7bfcf1fae886456c17e7e2fe9d47530ad1fd8162 (diff) | |
reserve (by default) the "dep" directory for the repository of dependencies (system libraries)
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | GNUmakefile | 4 |
2 files changed, 5 insertions, 0 deletions
@@ -1,2 +1,3 @@ /GNUmakefile.local /bld/ +/dep/ diff --git a/GNUmakefile b/GNUmakefile index b8884d6..90d2b0b 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -140,6 +140,10 @@ ifndef MOUNT_DIR MOUNT_DIR=src endif +ifndef DEP_DIR +DEP_DIR=dep +endif + ifndef BUILD_DIR BUILD_DIR=bld endif |