]> AND Private Git Repository - loba.git/blobdiff - new_loba.sh
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
Cleanup: remove simple_async.
[loba.git] / new_loba.sh
index 7519afcd8e01e898926f082b692b38bc09dcc201..40b6ea193879a17d2bc058abf46c86f532b783bc 100755 (executable)
@@ -125,8 +125,9 @@ nol_insert && $1 ~ /\}/ {
 }
 
 nol_insert && !nol_inserted && /NOL_INSERT/ {
-    if ($1 > nol_compare) {
-        print nol_string;
+    if ($1 >= nol_compare) {
+        if ($1 > nol_compare)
+            print nol_string;
         nol_inserted = 1;
     }
 }