File tree Expand file tree Collapse file tree 3 files changed +3
-0
lines changed
contrib/gitian-descriptors Expand file tree Collapse file tree 3 files changed +3
-0
lines changed Original file line number Diff line number Diff line change @@ -140,6 +140,7 @@ script: |
140140 export PATH=${WRAP_DIR}:${PATH}
141141
142142 # Create the release tarball using (arbitrarily) the first host
143+ git update-index --assume-unchanged src/chiabls/contrib/relic/include/relic_conf.h.in
143144 ./autogen.sh
144145 CONFIG_SITE=${BASEPREFIX}/`echo "${HOSTS}" | awk '{print $1;}'`/share/config.site ./configure --prefix=/
145146 make dist
Original file line number Diff line number Diff line change @@ -103,6 +103,7 @@ script: |
103103 export PATH=${WRAP_DIR}:${PATH}
104104
105105 # Create the release tarball using (arbitrarily) the first host
106+ git update-index --assume-unchanged src/chiabls/contrib/relic/include/relic_conf.h.in
106107 ./autogen.sh
107108 CONFIG_SITE=${BASEPREFIX}/`echo "${HOSTS}" | awk '{print $1;}'`/share/config.site ./configure --prefix=/
108109 make dist
Original file line number Diff line number Diff line change @@ -110,6 +110,7 @@ script: |
110110 export PATH=${WRAP_DIR}:${PATH}
111111
112112 # Create the release tarball using (arbitrarily) the first host
113+ git update-index --assume-unchanged src/chiabls/contrib/relic/include/relic_conf.h.in
113114 ./autogen.sh
114115 CONFIG_SITE=${BASEPREFIX}/`echo "${HOSTS}" | awk '{print $1;}'`/share/config.site ./configure --prefix=/
115116 make dist
You can’t perform that action at this time.
0 commit comments