chiark / gitweb /
Makefile: Changing Makefile means executables need to be regenerated too
authorPetr Baudis <pasky@suse.cz>
Fri, 12 Sep 2008 11:11:48 +0000 (13:11 +0200)
committerPetr Baudis <pasky@suse.cz>
Fri, 12 Sep 2008 11:11:48 +0000 (13:11 +0200)
commit67921ef309b025a2fea1c2311f93566ba2807b57
treed42576292c8f1adf7a0553ac7258461a3d67e312
parent370a0fdbc21cf984cebd433d67125b288ea0e051
Makefile: Changing Makefile means executables need to be regenerated too
Makefile