Remove generated orc-stdint.h

diff --git a/.gitignore b/.gitignore
index 1469593..15bc743 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -29,8 +29,6 @@ libtool
 ltmain.sh
 autom4te.cache
 
-orc-stdint.h
-
 /doc/orc-decl-list.txt
 /doc/orc-decl.txt
 /doc/orc-undeclared.txt

diff --git a/configure.ac b/configure.ac
index ff11720..876f329 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -48,8 +48,6 @@ AS_HOST_DEFINES()
 
 AC_C_BIGENDIAN
 
-AX_CREATE_STDINT_H([orc/orc-stdint.h])
-
 AC_FUNC_MMAP()
 
 AC_CHECK_HEADERS([inttypes.h])

diff --git a/orc/Makefile.am b/orc/Makefile.am
index 159b10e..8f379e0 100644 (file)
--- a/orc/Makefile.am
+++ b/orc/Makefile.am
@@ -88,11 +88,8 @@ pkginclude_HEADERS = \
        orcpowerpc.h \
        orcarm.h \
        orcx86insn.h \
-       orccpuinsn.h
-
-nodist_pkginclude_HEADERS = orc-stdint.h
-
-DISTCLEANFILES = orc-stdint.h
+       orccpuinsn.h \
+       orc-stdint.h
 
 noinst_PROGRAMS = generate-emulation
 

diff --git a/orc/orc-stdint.h b/orc/orc-stdint.h
new file mode 100644 (file)
index 0000000..599b33a
--- /dev/null
+++ b/orc/orc-stdint.h
@@ -0,0 +1 @@
+/* This file is intentionally nearly empty */