1
2
3
4
5
6
7
8
|
#!/bin/sh
if test $# != 3; then
echo "Usage: $0 source_file filename output.m" 1>&2
exit 1
fi
exec 1>$3
|
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#!/bin/sh
#
# Copyright (c) 2008-2024 Jonathan Schleifer <js@nil.im>
#
# All rights reserved.
#
# This file is part of ObjFW. It may be distributed under the terms of the
# Q Public License 1.0, which can be found in the file LICENSE.QPL included in
# the packaging of this file.
#
# Alternatively, it may be distributed under the terms of the GNU General
# Public License, either version 2 or 3, which can be found in the file
# LICENSE.GPLv2 or LICENSE.GPLv3 respectively included in the packaging of this
# file.
#
if test $# != 3; then
echo "Usage: $0 source_file filename output.m" 1>&2
exit 1
fi
exec 1>$3
|