X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=pref.h.orig;h=2193c6b4082b1fcbf340b8161fd0e5be07d02ae2;hb=05e356b2a3087e819ef3b5388e29c822f41502e1;hp=be0451150bbeb807985961a0dbd4f03de1c251ea;hpb=a7cc8b259f0fe963aa30d4e64f7d39551ded1454;p=pspp-builds.git

diff --git a/pref.h.orig b/pref.h.orig
index be045115..2193c6b4 100644
--- a/pref.h.orig
+++ b/pref.h.orig
@@ -96,3 +96,6 @@
 #ifndef P_tmpdir
 #define P_tmpdir "/tmp"
 #endif
+
+#define SHORT_NAME_LEN 8
+#define LONG_NAME_LEN 64