2 files changed, 2 insertions, 1 deletions
diff --git a/THANKS.in b/THANKS.in
index 6fd79d323..af372a97a 100644
--- a/THANKS.in
+++ b/THANKS.in
@@ -523,7 +523,6 @@ Raimonds Miltins                    raimonds@pro-9.com
 Rainer Orth                         ro@TechFak.Uni-Bielefeld.DE
 Ralf W. Stephan                     stephan@tmt.de
 Ralph Loader                        loader@maths.ox.ac.uk
-Rasmus Borup Hansen                 rbh@intomics.com
 Raul Miller                         moth@magenta.com
 Raúl Núñez de Arenas Coronado       raul@pleyades.net
 Rich Burridge                       rich.burridge@oracle.com
diff --git a/src/cp.c b/src/cp.c
index 99cafa7f5..6c7231a87 100644
--- a/src/cp.c
+++ b/src/cp.c
@@ -1214,7 +1214,9 @@ main (int argc, char **argv)
   ok = do_copy (argc - optind, argv + optind,
                 target_directory, no_target_directory, &x);
 
+#ifdef lint
   forget_all ();
+#endif
 
   exit (ok ? EXIT_SUCCESS : EXIT_FAILURE);
 }