dcee211388
Update shell files to use /bin/bash and POSIX .
...
bash's earlier problems with subshells running scripts starting #!/bin/bash
seem to be solved, so explicitly mark all scripts as requiring bash.
Furthermore, change all source built-ins to prefix the path with "./" as
required by POSIX. Together these changes should stop further problems
with changes of source built-in semantics in future.
2009-04-06 14:13:06 +00:00
13efab326f
Update copyright dates
2009-01-03 22:55:04 +00:00
c111c7e1dd
Switch to GPLv3
2007-10-14 10:31:40 +00:00
4029a771e3
Use '#!/bin/sh' as executable interpreter. This is bad, because we do actually want bash, but if
...
we use '#!/bin/bash' then we end up sourcing enough .rc files to override any changes we have made
to PATH etc.
2007-03-29 09:36:35 +00:00
b210e6a1b1
Remove VEREXTRA, it was never used.
2007-02-19 20:29:07 +00:00
4d0efeeb14
Fix typo in installation message
2007-02-05 20:16:35 +00:00
682e37133e
Fix installation of symlinks
2007-02-05 14:58:38 +00:00
28de5c8aaa
Fix annoying bug in file installation
2007-02-05 13:49:17 +00:00
dfdd180b0d
Fix recursion bug in build_dir_tree
2007-02-05 13:36:48 +00:00
7ce30bf7bd
Update copyright dates and add INSTALL_PREFIX
2007-02-05 12:51:38 +00:00
45a9c51bdc
Add MONOLITHIC_OPTIONS
2007-02-02 21:38:36 +00:00
28f36feef4
Remove stray tab
2006-12-12 16:17:22 +00:00
4b6457479b
Don't fail the script if the last command in config returns false
2006-12-12 16:15:27 +00:00
7f6786c908
Update for new config/scripts
2006-12-08 16:21:38 +00:00
31e3e08408
Don't define VERSION etc. in header files.
2006-08-25 10:21:11 +01:00
2299d6abd6
Fix quoting problem.
2006-08-01 13:50:04 +01:00
e1de1ce843
Update bits and pieces that should be substituted in files.
2006-07-25 19:19:59 +01:00
2eb3f126e3
Cleanups:
...
- begin switching to new copyright message
- add modelines to more files
2006-07-25 18:50:00 +01:00
19bb0c3f38
Fix some files.
2006-07-25 09:54:09 +01:00
e6a21ad4fa
Minor fixes.
2006-07-25 09:27:37 +01:00
cffa0b8b48
Add support for './make.sh <module>'
2006-07-24 22:41:27 +01:00
4667dab403
Parameterise author and copyright year.
2006-07-24 22:04:40 +01:00
920b871f49
Makefile: clean should just remove ${OUTPUT_DIRS}
2006-07-24 15:50:13 +01:00
cead2ba38e
Change tabs for spaces.
2006-07-24 15:32:19 +01:00
ff8f53193c
Minor build fixes, again.
2006-07-24 15:29:44 +01:00
41d089472b
Remember to clean the HTML directory as well.
2006-07-24 15:05:37 +01:00
5af1a83262
Initial commit.
2006-07-24 14:24:06 +01:00
Laurence Withers