From 560253d496e4f19f9480c13f4ebd59daf3ad1f80 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sat, 27 Oct 2018 17:01:25 +0200 Subject: [PATCH 1/1] remove an obsolete file --- src/smpi/BUGS | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 src/smpi/BUGS diff --git a/src/smpi/BUGS b/src/smpi/BUGS deleted file mode 100644 index 519af08ae2..0000000000 --- a/src/smpi/BUGS +++ /dev/null @@ -1,8 +0,0 @@ - -___________________________________________________________________________________________ -* if the program has a different main() prototype than - int main( int argc, char *argv[] ) - then the compilation smpicc fails : conflicting types for ‘smpi_simulated_main’ - since smpicc substitutes smpi_simulated_main for the user main() declaration. - -___________________________________________________________________________________________ -- 2.20.1