diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2019-11-20 19:40:22 -0500 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2019-11-21 11:01:34 -0500 |
| commit | fa041875284d01602647519cc452185ba1ad5a8f (patch) | |
| tree | 6547e7cff6b10569759fd69b1a78ac6e9beacdb0 /doc | |
| parent | fa0656d1ebc2a01d900fead4ce055d59eb818a1f (diff) | |
scripted-diff: Use ci DEPENDS_DIR, remove BASE_BUILD_DIR
-BEGIN VERIFY SCRIPT-
# Use ci DEPENDS_DIR
sed -i -e 's|BASE_BUILD_DIR/depends|DEPENDS_DIR|g' $(git grep -l depends ci)
sed -i -e 's| depends/| ${DEPENDS_DIR}/|g' $(git grep -l depends ci)
# Remove redundant alias
sed -i -e 's|BASE_BUILD_DIR|BASE_ROOT_DIR|g' $(git grep -l BASE_BUILD_DIR ci)
-END VERIFY SCRIPT-
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions