File lplex-main.patch of Package lplex
--- src/main.cpp 2012-06-07 14:41:03.000000000 +0200
+++ main.cpp 2013-05-16 20:52:29.932060038 +0200
@@ -1027,6 +1027,7 @@
void getOpts( const char *filename )
{
+ static char *opts[] = { "", "." };
int argc = 0;
char **argv=NULL, *args=NULL;
size_t size;
@@ -1061,7 +1062,7 @@
else if( argc == 1 )
{
editing = true;
- getOpts( 2, (char*[]){ "", "." } );
+ getOpts( 2, opts );
}
else
{