diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-07-13 20:20:33 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-07-13 20:20:33 +0000 |
commit | dbedfa370fc1c3b688c1d830a6a6fbcc22b51f1c (patch) | |
tree | d0ad5c2bd4f9a88c81fdf1bd933f3e7c96533e70 /libdiskfs | |
parent | d82f8df485cb31a508df4f7d384501e6fbf5522f (diff) |
entered into RCS
Diffstat (limited to 'libdiskfs')
-rw-r--r-- | libdiskfs/ports-noports.c | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/libdiskfs/ports-noports.c b/libdiskfs/ports-noports.c new file mode 100644 index 00000000..cddd8f00 --- /dev/null +++ b/libdiskfs/ports-noports.c @@ -0,0 +1,27 @@ +/* + Copyright (C) 1994 Free Software Foundation + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License as + published by the Free Software Foundation; either version 2, or (at + your option) any later version. + + This program is distributed in the hope that it will be useful, but + WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ + + +#include "priv.h" + +/* Called by ports library when there are no ports outstanding. */ +void +ports_no_live_ports () +{ + diskfs_sync_everything (1); + exit (0); +} |