[GRASSLIST:1112] (no subject)

[mlennert at club.worldonline.be]

'make distclean' doesn't seem to clean the cache. So I tried 'make veryclean' 
which does seem to clean the cache, but the problem is still the same...


> mlennert at club.worldonline.be wrote:
> > 
> > First of all sorry, if my mails cause problems at the grasslist server. I've
> > been having trouble configuring my mail system correctly, but I think (hope)
> > I'm getting there...
> > 
> > I'm sending you the results that I get on my work computer. It's the same
> > system (Debian Potato) and the same CVS-source, so it should be identical (it
> > gives me the same error message at least ;-) )
> > Tell me what kind of guest access you need and I'll send you the address.
> > 
> >  ./configure:
> > ---------------------------------------
> > loading cache ./config.cache
> > checking host system type... i686-linux-elf
> > checking for gcc... (cached) gcc
> > checking whether the C compiler (gcc  ) works... yes
> > checking whether the C compiler (gcc  ) is a cross-compiler... no
> > checking whether we are using GNU C... (cached) yes
> > checking whether gcc accepts -g... (cached) yes
> > ------------------------------------------
> > 
> > ls -la src/CMD/head/ :
> > -----------------------------------------------
> > total 28
> > drwxr-sr-x    4 mlennert privileg     4096 Nov 13 11:46 .
> > drwxr-sr-x    9 mlennert privileg     4096 Nov 13 11:42 ..
> > drwxr-sr-x    2 mlennert privileg     4096 Nov  6 18:22 CVS
> > -rw-r--r--    1 mlennert privileg       63 Jul 13 14:59 README
> > -rw-r--r--    1 root     privileg     1986 Nov 13 11:46 head
> > -rw-r--r--    1 mlennert privileg     2080 Nov  6 18:22 head.in
> > drwxr-sr-x    3 mlennert privileg     4096 Oct 24 19:09 os_specific
> > ------------------------------------------------
> > 
> > grep head Makefile:
> > ------------------------------------------------------
> > VERSION=                `cat src/CMD/VERSION | head -1`
> > NAME_VER=               `cat src/CMD/VERSION | head -1 | sed 's/\..*//'`
> > CUTLINE=                `grep -n '1999-12-29 16:12' ChangeLog |cut -d':' -f1 |
> > head -1`
> > #                  directories, head file, configure files, and Makefile - good
> >         ${SHELL} -c "rm -f src/CMD/head/head                     2>/dev/null ;
> > true"
> >         head -${CUTLINE} ChangeLog   > ChangeLog.cut
> > ----------------------------------------------------------------
> 
> I believe the problem is that the configure command is using its cache.
> Try the following
> 
> make distclean
> ./configure
> make install
> 
> Hope this helps.
> 
> -- 
> Sincerely,
> 
> Jazzman (a.k.a. Justin Hickey)  e-mail: jhickey at hpcc.nectec.or.th
> High Performance Computing Center
> National Electronics and Computer Technology Center (NECTEC)
> Bangkok, Thailand
> ==================================================================
> People who think they know everything are very irritating to those
> of us who do.  ---Anonymous
> 
> Jazz and Trek Rule!!!
> ==================================================================
>