Page Menu
Home
GnuPG
Search
Configure Global Search
Log In
Files
F20064628
makemake
No One
Temporary
Actions
Download File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Award Token
Size
760 B
Subscribers
None
makemake
View Options
#!/bin/csh
# makemake: Dumb script to make Makefile from Makefile.in
# (recursively, if -r is specified)
# Usage: makemake [-r]
if
(
$#argv
==
0
)
then
set
makelist
=
(
./Makefile.in
)
else
set
makelist
=
(
`
find . -name Makefile.in -print
`
)
endif
foreach
makefile
(
$makelist
)
set
dir
=
${
makefile
:
h
}
pushd
$dir
set
wd
=
`
pwd
`
echo
$wd
set
top_srcdir
=
""
while
((
"$wd"
!
=
""
)
&&
(
${
wd
:
t
}
!
=
"mozilla"
))
if
(
"$top_srcdir"
==
""
)
then
set
top_srcdir
=
".."
else
set
top_srcdir
=
"../$top_srcdir"
endif
set
wd
=
${
wd
:
h
}
end
/bin/cp Makefile.in Makefile
ex -s Makefile << /EOF
set
nomagic
g%@srcdir@%s%@srcdir@%.%gp
g%@top_srcdir@%s%@top_srcdir@%
${
top_srcdir
}
%gp
wq
/EOF
popd
end
File Metadata
Details
Attached
Mime Type
text/x-shellscript
Expires
Sun, Feb 23, 7:20 PM (10 h, 53 m)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
4e/12/eb2d8a9523e09e889b75b5c181d6
Attached To
rENIG Enigmail
Event Timeline
Log In to Comment