boost/build
2
0
Fork 0
mirror of https://github.com/boostorg/build.git synced 2026-02-15 00:52:16 +00:00
Code Issues Projects Releases Wiki Activity

Applied patch from Thomas Witt

Browse Source 
[SVN r11907]
This commit is contained in:
Dave Abrahams
2001-12-04 14:07:36 +00:00
parent eeb3e4343b
commit bece2cc4d6
2 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
boost-base.jam
View File

@@ -1384,26 +1384,26 @@ rule build-command-file ( command : sources * )
{
# Handle the first target specially, so that the first source file
# will clear the command file
command-file-dump-1st $(command) : $(sources) ;
command-file-dump-1st $(command) : $(sources[1]) ;
}
if $(sources[2])
{
# Then fill the rest up piecemeal
command-file-dump-rest $(command) : $(sources) ;
command-file-dump-rest $(command) : $(sources[2-]) ;
}
}
# command-file-dump-1st: dump the first source path into the target
actions quietly command-file-dump-1st
{
echo "$(>[1])" > "$(<)"
echo "$(>)" > "$(<)"
}
# command-file-dump: dump the remaining source paths into the target
actions quietly piecemeal command-file-dump-rest
{
echo "$(>[2-])" >> "$(<)"
echo "$(>)" >> "$(<)"
}
# Clean up the temporary COMMAND-FILE used to build TARGETS.

8
v1/boost-base.jam
View File

@@ -1384,26 +1384,26 @@ rule build-command-file ( command : sources * )
{
# Handle the first target specially, so that the first source file
# will clear the command file
command-file-dump-1st $(command) : $(sources) ;
command-file-dump-1st $(command) : $(sources[1]) ;
}
if $(sources[2])
{
# Then fill the rest up piecemeal
command-file-dump-rest $(command) : $(sources) ;
command-file-dump-rest $(command) : $(sources[2-]) ;
}
}
# command-file-dump-1st: dump the first source path into the target
actions quietly command-file-dump-1st
{
echo "$(>[1])" > "$(<)"
echo "$(>)" > "$(<)"
}
# command-file-dump: dump the remaining source paths into the target
actions quietly piecemeal command-file-dump-rest
{
echo "$(>[2-])" >> "$(<)"
echo "$(>)" >> "$(<)"
}
# Clean up the temporary COMMAND-FILE used to build TARGETS.