m4: M4exit

 
 14.3 Exiting from 'm4'
 ======================
 
 If you need to exit from 'm4' before the entire input has been read, you
 can use 'm4exit':
 
  -- Builtin: m4exit ([CODE = 0])
      Causes 'm4' to exit, with exit status CODE.  If CODE is left out,
      the exit status is zero.  If CODE cannot be parsed, or is outside
      the range of 0 to 255, the exit status is one.  No further input is
      read, and all wrapped and diverted text is discarded.
 
      m4wrap(`This text is lost due to `m4exit'.')
      =>
      divert(`1') So is this.
      divert
      =>
      m4exit And this is never read.
 
    A common use of this is to abort processing:
 
  -- Composite: fatal_error (MESSAGE)
      Abort processing with an error message and non-zero status.  Prefix
      MESSAGE with details about where the error occurred, and print the
      resulting string to standard error.
 
      define(`fatal_error',
             `errprint(__program__:__file__:__line__`: fatal error: $*
      ')m4exit(`1')')
      =>
      fatal_error(`this is a BAD one, buster')
      error->m4:stdin:4: fatal error: this is a BAD one, buster
 
    After this macro call, 'm4' will exit with exit status 1.  This macro
 is only intended for error exits, since the normal exit procedures are
 not followed, i.e., diverted text is not undiverted, and saved text
 (⇒M4wrap) is not reread.  (This macro could be made more robust
 to earlier versions of 'm4'.  You should try to see if you can find
 weaknesses and correct them; or ⇒Answers Improved fatal_error.).
 
    Note that it is still possible for the exit status to be different
 than what was requested by 'm4exit'.  If 'm4' detects some other error,
 such as a write error on standard output, the exit status will be
 non-zero even if 'm4exit' requested zero.
 
    If standard input is seekable, then the file will be positioned at
 the next unread character.  If it is a pipe or other non-seekable file,
 then there are no guarantees how much data 'm4' might have read into
 buffers, and thus discarded.