comment

metamath · Dec 30, 2021 · e75b791 · e75b791
1 parent f885750
commit e75b791
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/metamath.c b/metamath.c
@@ -1138,6 +1138,9 @@ void command(int argc, char *argv[])
           }
         }
         /* Do the operating system command */
+        /* The use of (void)!f() is to ignore the value on both
+          clang (which takes (void) as an ignore indicator)
+          and gcc (which doesn't but is fooled by the ! operator). */
         (void)!system(str1);
 #ifdef VAXC
         printf("\n"); /* Last line from VAX doesn't have new line */