X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/f7bbce9ea62eae4ce5860c92957c0506f8e8d23e..e12d6988fa4e9f96f4b4d13d783a4e95761f6196:/config.hin

diff --git a/config.hin b/config.hin
index f2d96bc..f7a5d50 100644
--- a/config.hin
+++ b/config.hin
@@ -35,6 +35,8 @@
 /* drl: can't get autoheader to work so I had to enter these manually.
  figure out autoheader at some point... */
 
+#undef UNAME
+ 
 #undef BUILD
 #undef HOST
 #undef TARGET