diff options
author | Glenn Morris <rgm@gnu.org> | 2019-02-01 18:03:16 -0800 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2019-02-01 18:03:34 -0800 |
commit | b51ac456e75e5a26ccc6a85e2504565c54aa2d58 (patch) | |
tree | 9f47ccae20fcbffbbc7ba20989d056ee1963e427 /make-dist | |
parent | 9d87ba1e1fd987be465e22712d4bc79225bbc6b3 (diff) | |
download | emacs-b51ac456e75e5a26ccc6a85e2504565c54aa2d58.tar.gz |
* make-dist: Remove references to src/stamp-h.in.
This file was removed two years ago in 2f89350.
No need to merge to master.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/make-dist b/make-dist index dc5bbfc78be..e8aca553343 100755 --- a/make-dist +++ b/make-dist @@ -327,10 +327,6 @@ if [ $update = yes ]; then echo "Running autoreconf" autoreconf -i -I m4 || { x=$?; echo Autoreconf FAILED! >&2; exit $x; } - ## Make sure src/stamp-h.in is newer than configure.ac. - rm -f src/stamp-h.in - echo timestamp > src/stamp-h.in - echo "Updating Info files" make info |