diff options
Diffstat (limited to 'devel/anjuta/files/patch-plugins_symbol-db_symbol-db-engine-priv.h')
| -rw-r--r-- | devel/anjuta/files/patch-plugins_symbol-db_symbol-db-engine-priv.h | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/anjuta/files/patch-plugins_symbol-db_symbol-db-engine-priv.h b/devel/anjuta/files/patch-plugins_symbol-db_symbol-db-engine-priv.h new file mode 100644 index 000000000..cecb81021 --- /dev/null +++ b/devel/anjuta/files/patch-plugins_symbol-db_symbol-db-engine-priv.h @@ -0,0 +1,11 @@ +--- plugins/symbol-db/symbol-db-engine-priv.h.orig 2009-04-15 19:40:20.000000000 -0400 ++++ plugins/symbol-db/symbol-db-engine-priv.h 2009-04-15 19:40:34.000000000 -0400 +@@ -47,7 +47,7 @@ + + #define CTAGS_MARKER "#_#\n" + +-#define SHARED_MEMORY_PREFIX "/dev/shm" ++#define SHARED_MEMORY_PREFIX "/tmp" + + #define THREADS_MAX_CONCURRENT 2 + #define TRIGGER_SIGNALS_DELAY 100 |