X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=pref.h.orig;h=2193c6b4082b1fcbf340b8161fd0e5be07d02ae2;hb=119676ae19d4f862cab6261936d1f6223f5534cc;hp=be0451150bbeb807985961a0dbd4f03de1c251ea;hpb=d807ad29cc0d3caa4f0e04ee4b75c70a225cfeaf;p=pspp

diff --git a/pref.h.orig b/pref.h.orig
index be0451150b..2193c6b408 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