diff options
Diffstat (limited to 'h')
| -rw-r--r-- | h/Makefile.in | 24 | ||||
| -rw-r--r-- | h/rpki/sk_manifest.h | 2 | ||||
| -rw-r--r-- | h/rpki/sk_roa.h | 2 |
3 files changed, 2 insertions, 26 deletions
diff --git a/h/Makefile.in b/h/Makefile.in deleted file mode 100644 index d976661b..00000000 --- a/h/Makefile.in +++ /dev/null @@ -1,24 +0,0 @@ -# $Id$ - -PYTHON = @PYTHON@ - -abs_top_srcdir = @abs_top_srcdir@ - -all: rpki/sk_manifest.h rpki/sk_roa.h - -rpki/sk_manifest.h: rpki/manifest.h - ${PYTHON} ${abs_top_srcdir}/buildtools/defstack.py rpki/manifest.h >$@.tmp - mv $@.tmp $@ - -rpki/sk_roa.h: rpki/roa.h - ${PYTHON} ${abs_top_srcdir}/buildtools/defstack.py rpki/roa.h >$@.tmp - mv $@.tmp $@ - -clean: - rm -f *.h.tmp - -test install deinstall uninstall: - @true - -distclean: clean - rm -f Makefile diff --git a/h/rpki/sk_manifest.h b/h/rpki/sk_manifest.h index ead7cbe4..59ff80a5 100644 --- a/h/rpki/sk_manifest.h +++ b/h/rpki/sk_manifest.h @@ -1,6 +1,6 @@ /* * Automatically generated, do not edit. - * Generator $Id: defstack.py 4725 2012-09-19 21:28:34Z sra $ + * Generator $Id: defstack.py 4878 2012-11-15 22:13:53Z sra $ */ #ifndef __RPKI_MANIFEST_H__DEFSTACK_H__ diff --git a/h/rpki/sk_roa.h b/h/rpki/sk_roa.h index cb5c5e17..13036955 100644 --- a/h/rpki/sk_roa.h +++ b/h/rpki/sk_roa.h @@ -1,6 +1,6 @@ /* * Automatically generated, do not edit. - * Generator $Id: defstack.py 4725 2012-09-19 21:28:34Z sra $ + * Generator $Id: defstack.py 4878 2012-11-15 22:13:53Z sra $ */ #ifndef __RPKI_ROA_H__DEFSTACK_H__ |