/*
Copyright (C) 2016-2019 The University of Notre Dame
This software is distributed under the GNU General Public License.
See the file LICENSE for details.
*/

#ifndef KSHELL_H
#define KSHELL_H

int kshell_execute(int argc, const char **argv);
int kshell_launch();

#ifdef KSHELL_EXT
  #include "kshell_ext.h"
#endif
#endif