diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2013-10-23 11:17:18 -0700 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2013-10-23 11:17:18 -0700 |
commit | 35a59e48c51b9bf1b5551a0c8b96e2756361b7d5 (patch) | |
tree | 9638f2b933a1007c4f0d1bf7f23420de81785072 /configure | |
parent | 81ea9468a992556b21d8cb65e6407dca9dbbfe7f (diff) | |
download | txr-35a59e48c51b9bf1b5551a0c8b96e2756361b7d5.tar.gz txr-35a59e48c51b9bf1b5551a0c8b96e2756361b7d5.tar.bz2 txr-35a59e48c51b9bf1b5551a0c8b96e2756361b7d5.zip |
* configure: Change to header block comment generated in config.h
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -607,7 +607,7 @@ cat <<! > config.h /* * Header file automatically generated by $0. * Tweaking this file may seem like a good temporary workaround - * than tweak the file, but you probably should fix the script + * to some problem but you probably should fix the script * to do the job. In any case, be aware that you will lose your * changes if you re-run $0. */ |