mirror of
https://git.FreeBSD.org/ports.git
synced 2024-10-21 20:38:45 +00:00
0b959ae04d
by MySQL. It is the highly anticipated successor application of the DBDesigner4 project. WWW: http://dev.mysql.com/workbench/ PR: ports/136088 (part 1 of 2) Submitted by: Maxim Ignatenko
12 lines
390 B
Plaintext
12 lines
390 B
Plaintext
--- frontend/linux/workbench/mysql-workbench.in.orig 2009-06-22 15:59:57.000000000 +0300
|
|
+++ frontend/linux/workbench/mysql-workbench.in 2009-06-22 16:00:29.000000000 +0300
|
|
@@ -16,8 +16,4 @@
|
|
|
|
export DBC_DRIVER_PATH="$basedirname/$libdir/mysql-workbench"
|
|
|
|
-if type -p catchsegv > /dev/null; then
|
|
-catchsegv $bindirname/mysql-workbench-bin $*
|
|
-else
|
|
$bindirname/mysql-workbench-bin $*
|
|
-fi
|