@@ -5,7 +5,7 @@ TIME=$(date "+%H-%M-%S")
5
5
DATE_TIME=` date +" %m%d%Y-%H%M" `
6
6
7
7
8
- IMAGES_DIR=" /home/xiangfu/build-milkymist/milkymist-firmware-${DATE_TIME} / "
8
+ IMAGES_DIR=" /home/xiangfu/build-milkymist/milkymist-firmware-${DATE_TIME} "
9
9
mkdir -p ${IMAGES_DIR}
10
10
11
11
@@ -14,7 +14,7 @@ VERSIONS="${IMAGES_DIR}/VERSIONS"
14
14
touch ${BUILD_LOG} ${VERSIONS}
15
15
16
16
17
- MILKYMIST_GIT_DIR=/home/xiangfu/milkymist-firmware/milkymist/
17
+ MILKYMIST_GIT_DIR=/home/xiangfu/milkymist-firmware/milkymist
18
18
SCRIPTS_GIT_DIR=/home/xiangfu/milkymist-firmware/scripts
19
19
20
20
@@ -54,12 +54,12 @@ if [ "$?" != "0" ]; then
54
54
fi
55
55
56
56
57
- # You have to manully clone the wernermisc to MILKYMIST_GIT_DIR
58
- # cd ${MILKYMIST_GIT_DIR} && git clone git://projects.qi-hardware.com/wernermisc.git
59
57
echo " handle werner's patches on rtems ..."
60
- (cd ${MILKYMIST_GIT_DIR} /rtems && rm -f patches && ln -s ../wernermisc/m1/patches/rtems/ patches)
61
- (cd ${MILKYMIST_GIT_DIR} /rtems/patches && git fetch -a && git reset --hard origin/master)
62
- (cd ${MILKYMIST_GIT_DIR} /rtems && quilt push -a)
58
+ if [ -e ${MILKYMIST_GIT_DIR} /wernermisc ]; then
59
+ git clone git://projects.qi-hardware.com/wernermisc.git ${MILKYMIST_GIT_DIR} /wernermisc
60
+ fi
61
+ (cd ${MILKYMIST_GIT_DIR} /wernermisc && git fetch -a && git reset --hard origin/master)
62
+ (cd ${MILKYMIST_GIT_DIR} /rtems && rm -f patches && ln -s ${MILKYMIST_GIT_DIR} /wernermisc/m1/patches/rtems patches && quilt push -a)
63
63
cp -a ${MILKYMIST_GIT_DIR} /wernermisc/m1/patches/rtems ${IMAGES_DIR} /rtems-patches
64
64
65
65
0 commit comments