diff --git a/config.guess b/config.guess index da83314..927a3c3 100755 --- a/config.guess +++ b/config.guess @@ -1552,10 +1552,3 @@ UNAME_VERSION = ${UNAME_VERSION} EOF exit 1 - -# Local variables: -# eval: (add-hook 'write-file-hooks 'time-stamp) -# time-stamp-start: "timestamp='" -# time-stamp-format: "%:y-%02m-%02d" -# time-stamp-end: "'" -# End: diff --git a/config.sub b/config.sub index a39437d..9940bdc 100755 --- a/config.sub +++ b/config.sub @@ -1677,10 +1677,3 @@ esac echo $basic_machine$os exit - -# Local variables: -# eval: (add-hook 'write-file-hooks 'time-stamp) -# time-stamp-start: "timestamp='" -# time-stamp-format: "%:y-%02m-%02d" -# time-stamp-end: "'" -# End: