PR: preserves files dates when copying from sources and avoids unnecessary compilatio...

diff --git a/idl/Makefile.in b/idl/Makefile.in
index 68cb407566ef866b316109365d8bb04aba65741e..cda49464195cb14795774ee9ba870f522791f7f4 100644 (file)
--- a/idl/Makefile.in
+++ b/idl/Makefile.in
@@ -55,7 +55,7 @@ install: install-pyidl install-idl
 # create directory $(idldir) and copy idl files into it
 install-idl: $(IDL_FILES)
        $(INSTALL) -d  $(idldir)
-       $(INSTALL_DATA) $^ $(idldir)
+       cp -p $^ $(idldir)
 
 
 install-pyidl: $(IDL_FILES)