diff --git a/src/util/fipstools/test_fips.c b/src/util/fipstools/test_fips.c
index 42ed96b22..ed95b8ccb 100644
--- a/src/util/fipstools/test_fips.c
+++ b/src/util/fipstools/test_fips.c
@@ -313,5 +313,6 @@ int main(int argc, char **argv) {
 
 err:
   printf("FAIL\n");
+  fflush(stdout);
   abort();
 }