diff options
| author |   Angelo Mantellini (manangel) <angelo.mantellini@irt-systemx.fr> | 2017-04-08 00:57:33 +0200 |
|---|---|---|
| committer | Angelo Mantellini (manangel) <angelo.mantellini@irt-systemx.fr> | 2017-04-08 00:57:33 +0200 |
| commit | 20d003a4858d18ccd0b22496c5ad926d3a51601f (patch) | |
| tree | a5c3e02e184eb0f4ce852a6a4928a6046118a4c6 /config | |
| parent | 3137acdd5a45285dab9903f9d41560c63eca8523 (diff) | |
correct scripts and makefile, little correction in switch off of metis
Change-Id: Icfce254c22af4b7363ec206f5f9703520113f0ee
Signed-off-by: Angelo Mantellini (manangel) <angelo.mantellini@irt-systemx.fr>
Diffstat (limited to 'config')
| -rw-r--r-- | config/modules/000-gitModule.mk | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/config/modules/000-gitModule.mk b/config/modules/000-gitModule.mk index af500a19..8df30049 100644 --- a/config/modules/000-gitModule.mk +++ b/config/modules/000-gitModule.mk @@ -73,13 +73,6 @@ $1.sync: ${DISTILLERY_ROOT_DIR}/tools/bin/syncOriginMasterWithCCNXUpstream @echo $1 @cd ${$1_SOURCE_DIR}; ${DISTILLERY_ROOT_DIR}/tools/bin/syncOriginMasterWithCCNXUpstream -update: $1.update - -$1.update: ${$1_GIT_CONFIG} - @echo "-------------------------------------------------------------------" - @echo "- Updating ${$1_SOURCE_DIR}" - @cd ${$1_SOURCE_DIR} && git fetch --all && git pull - @echo ${$1_GIT_CONFIG}: tools/bin/gitCloneOneOf tools/bin/gitAddUpstream @tools/bin/gitCloneOneOf $1 ${$1_SOURCE_DIR} ${$1_GIT_REPOSITORY} ${$1_GIT_UPSTREAM_REPOSITORY} |