diff options
author | Bruce Mitchener <bruce.mitchener@gmail.com> | 2014-06-07 10:09:45 +0700 |
---|---|---|
committer | Bruce Mitchener <bruce.mitchener@gmail.com> | 2014-06-07 10:09:45 +0700 |
commit | 1bd5ca813a0c0e4d24ae60b35716775e4d416799 (patch) | |
tree | 95d50704583ef3940af9b6dcda5081e939b6b8a5 | |
parent | 4eb7d486778edc151c484ef9cf51db629f3eb979 (diff) |
Put a placeholder README in system/local/include.
This explains the purpose so that the directory is a bit more
discoverable. It also means the compiler won't complain that
the directory doesn't exist when in verbose mode.
-rw-r--r-- | system/local/include/README.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/system/local/include/README.txt b/system/local/include/README.txt new file mode 100644 index 00000000..09bd03e0 --- /dev/null +++ b/system/local/include/README.txt @@ -0,0 +1,2 @@ +You may place local includes that you require here and they will +be found by the default compiler search path. |