« Previous | Next » 

Revision d1807a4f

IDd1807a4f836c27f6dc7061e53a834dd27f78e46a

Added by Paolo Bonzini over 13 years ago

remove source_path_used

Not necessary since we use mkdir -p and from this patch test -f.

Also, dirname returns "." if a path has no directory component,
as is the case for "sh configure".

Signed-off-by: Paolo Bonzini <>
Signed-off-by: Blue Swirl <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences