diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2021-10-08 11:23:25 +0200 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-10-08 11:23:25 +0200 |
commit | d9b887149ae5e94c9eba4acc7fb5bec027d3114b (patch) | |
tree | 484e05d1d8a88b0564e67289dd478a4d7ffc10f0 /bootstrap | |
parent | 2c3ff4a34e33112684d88c274fff154dd10e478b (diff) |
build system: try to restore the modification date from .manual-mdate
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -16,6 +16,11 @@ # You should have received a copy of the GNU Affero General Public License # along with this program. If not, see <https://www.gnu.org/licenses/>. +if [ -f .manual-mdate ] +then + touch -t "$(date -d $(cat .manual-mdate) '+%Y%m%d%H%M.%S')" doc/disfluid.texi +fi + autoreconf -vif || exit 1 sed -i 's|SHELL = /bin/sh|SHELL = @SHELL@|g' po/Makefile.in.in || exit 1 |