diff options
Diffstat (limited to 'lib-src/profile.c')
| -rw-r--r-- | lib-src/profile.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/lib-src/profile.c b/lib-src/profile.c index ec77936f74d..8d924532b87 100644 --- a/lib-src/profile.c +++ b/lib-src/profile.c | |||
| @@ -55,7 +55,7 @@ char * | |||
| 55 | get_time () | 55 | get_time () |
| 56 | { | 56 | { |
| 57 | if (watch_not_started) | 57 | if (watch_not_started) |
| 58 | exit (1); /* call reset_watch first ! */ | 58 | exit (EXIT_FAILURE); /* call reset_watch first ! */ |
| 59 | EMACS_GET_TIME (TV2); | 59 | EMACS_GET_TIME (TV2); |
| 60 | EMACS_SUB_TIME (TV2, TV2, TV1); | 60 | EMACS_SUB_TIME (TV2, TV2, TV1); |
| 61 | sprintf (time_string, "%lu.%06lu", (unsigned long)EMACS_SECS (TV2), (unsigned long)EMACS_USECS (TV2)); | 61 | sprintf (time_string, "%lu.%06lu", (unsigned long)EMACS_SECS (TV2), (unsigned long)EMACS_USECS (TV2)); |
| @@ -94,14 +94,16 @@ main () | |||
| 94 | puts (get_time ()); | 94 | puts (get_time ()); |
| 95 | break; | 95 | break; |
| 96 | case 'q': | 96 | case 'q': |
| 97 | exit (0); | 97 | exit (EXIT_SUCCESS); |
| 98 | } | 98 | } |
| 99 | /* Anything remaining on the line is ignored. */ | 99 | /* Anything remaining on the line is ignored. */ |
| 100 | while (c != '\n' && c != EOF) | 100 | while (c != '\n' && c != EOF) |
| 101 | c = getchar (); | 101 | c = getchar (); |
| 102 | } | 102 | } |
| 103 | exit (1); | 103 | exit (EXIT_FAILURE); |
| 104 | } | 104 | } |
| 105 | 105 | ||
| 106 | /* arch-tag: 8db68f7e-2322-4944-a315-dba349bdbf39 | 106 | /* arch-tag: 8db68f7e-2322-4944-a315-dba349bdbf39 |
| 107 | (do not change this comment) */ | 107 | (do not change this comment) */ |
| 108 | |||
| 109 | /* profile.c ends here */ | ||