chiark / gitweb /
Use a local implementation of strptime() instead of broken OS ones
[disorder] / scripts / inst
1 #! /bin/bash
2 #
3 # Copyright (C) 2004-2008 Richard Kettlewell
4 #
5 # This program is free software: you can redistribute it and/or modify
6 # it under the terms of the GNU General Public License as published by
7 # the Free Software Foundation, either version 3 of the License, or
8 # (at your option) any later version.
9
10 # This program is distributed in the hope that it will be useful,
11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13 # GNU General Public License for more details.
14
15 # You should have received a copy of the GNU General Public License
16 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
17 #
18
19 set -e
20 set -x
21 [ -d =build ] && cd =build
22 make "$@"
23 #make check
24 really make "$@" install
25 really install -m 755 cgi/disorder.cgi /home/jukebox/public_html/index.cgi
26 really ldconfig