Line data    Source code

       1             : #include "fd_flamenco_base.h"
       2             : 
       3             : void
       4             : fd_flamenco_boot( int *    pargc __attribute__((unused)),
       5         129 :                   char *** pargv __attribute__((unused)) ) {
       6             :   /* Since the removal of custom format string specifiers there is no
       7             :      technical need for boot/halt anymore.  However, if such a need arises in
       8             :      the future it is good to have the functions and calls to it in place.
       9             :      Until then these are no-ops. */
      10         129 : }
      11             : 
      12             : void
      13           6 : fd_flamenco_halt( void ) {}