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, 0 insertions, 11 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 deleted file mode 100644 index cecb81021faf..000000000000 --- a/devel/anjuta/files/patch-plugins_symbol-db_symbol-db-engine-priv.h +++ /dev/null @@ -1,11 +0,0 @@ ---- 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 |