On Wednesday 09 May 2007 2:45 am, Pedro A ARANDA wrote:
> ----- configure.patch
>
> diff -r 4b36c07af991 configure
> --- a/configure Tue May 08 22:16:31 2007 -0400
> +++ b/configure Wed May 09 08:30:27 2007 +0200
> @@ -219,28 +219,30 @@ else
> prefix="/usr"
> fi
> if test x"$execprefix" = x""; then
> - execprefix="${prefix}"
> + execprefix="\$(prefix)"
Ah yes, Debian is using dash the Defective Annoying SHell. Doesn't understand
dir/{file1,file2}, ctrl-c will kill background tasks, forces you to say "."
instead of source... Generally "not a real shell at all".
I strongly recommend "sudo -f bash /bin/sh", but I can change configure to
start with #!/bin/bash if you insist...
> fi
> if test x"$bindir" = x""; then
> - bindir="${execprefix}/bin"
> + bindir="\$(prefix)/bin"
> fi
> if test x"$docdir" = x""; then
> - docdir="$prefix/share/doc/tcc"
> + docdir="\$(prefix)/share/doc/tcc"
But I'm not that interested in making extensive changes to the script to humor
a broken shell.
Rob
_______________________________________________
Tinycc-devel mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/tinycc-devel
