rerun builtins.h creation if script changed
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Mon, 8 Sep 2008 09:48:14 +0000 (09:48 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Mon, 8 Sep 2008 09:48:14 +0000 (09:48 +0000)
commitcd69d56fda807159e724ff4baf141cc8edf7f7de
tree464bc9d1348b2b4af10b89f103a96f9353b259f5
parent869fdffd7484523e431a8959b68eb5fce05f55ee
rerun builtins.h creation if script changed

[r21745]
Makefile