diff options
author | peter <peter@FreeBSD.org> | 1996-01-12 08:57:10 +0000 |
---|---|---|
committer | peter <peter@FreeBSD.org> | 1996-01-12 08:57:10 +0000 |
commit | 5b70a95cd827978a62482802e9ff51d4e958da7e (patch) | |
tree | 87f917319075f55b3a7df24a1226cb5fd2de48e6 /usr.sbin/config/config.h | |
parent | b90ef46a2fbc1f210795d01c9dee181dbf3f1922 (diff) | |
download | FreeBSD-src-5b70a95cd827978a62482802e9ff51d4e958da7e.zip FreeBSD-src-5b70a95cd827978a62482802e9ff51d4e958da7e.tar.gz |
Make a little more effort to avoid touching certain generated files if
they were not changed. This makes 'make depend' more useful.
Diffstat (limited to 'usr.sbin/config/config.h')
-rw-r--r-- | usr.sbin/config/config.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/usr.sbin/config/config.h b/usr.sbin/config/config.h index 41e492f..65c9b66 100644 --- a/usr.sbin/config/config.h +++ b/usr.sbin/config/config.h @@ -192,6 +192,7 @@ char *get_word(); char *get_quoted_word(); char *path(); char *raise(); +void moveifchanged(); int do_trace; |