On 10/22/2017 10:40 AM, Per Bothner wrote: > I think I want to leave kawa.sh.in as-is, but have configure > create kawa instead of kawa.sh. That way we don't need a symlink in the normal case. > I'm trying this out now. I checked this change in. Please try it. -- --Per Bothner per@bothner.com http://per.bothner.com/