## ---------------------- ##
## Running config.status. ##
## ---------------------- ##

This file was extended by GNU AutoGen config.status 5.18.2, which was
generated by GNU Autoconf 2.69.  Invocation command line was

  CONFIG_FILES    = 
  CONFIG_HEADERS  = 
  CONFIG_LINKS    = 
  CONFIG_COMMANDS = 
  $ ../config.status --file shdef-temp

on hp05

config.status:1308: creating shdef-temp