diff options
Diffstat (limited to 'pablo/PabloSedscr')
-rw-r--r-- | pablo/PabloSedscr | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/pablo/PabloSedscr b/pablo/PabloSedscr deleted file mode 100644 index 6df38c2..0000000 --- a/pablo/PabloSedscr +++ /dev/null @@ -1,31 +0,0 @@ -s/,//g -/^[0-9]/,/[A-z]/{ -/^[0-9]/h -/^[0-9]/d -s/$/ = ID_Begin + / -G -s/\n// -s/[A-z]/ parameter ( &/ -s/$/ )/ -h -s/parameter (/integer/ -s/=.*// -G -} -/ALLHDF/,$!d -s/_//g -/integer.*ALLHDF/{ -i\ - integer RuntimeTrace\ - integer SummaryTrace\ - integer MPIRuntimeTrace\ - integer MPISummaryTrace\ - integer NoTrace\ - integer IDBegin \ - parameter (NoTrace = 0)\ - parameter (RuntimeTrace = 1)\ - parameter (SummaryTrace = 2)\ - parameter (MPIRuntimeTrace = 3)\ - parameter (MPISummaryTrace = 4)\ - parameter ( IDBegin = 4 ) -} |