Commit 64319700 authored by Francois-Rene Rideau's avatar Francois-Rene Rideau
Browse files

Cosmetic changes for the sake of page layout.

parent 6677fbbb
...@@ -437,6 +437,8 @@ The main benefit for {\make} is that it will work correctly when building things ...@@ -437,6 +437,8 @@ The main benefit for {\make} is that it will work correctly when building things
in parallel (options \texttt{-j} or \texttt{-l} of {\make}). in parallel (options \texttt{-j} or \texttt{-l} of {\make}).
} }
\newpage{} % for aesthetics reason, given the layout
\subsection{Social role of {\ASDF}} \subsection{Social role of {\ASDF}}
\label{sec:social-role-asdf} \label{sec:social-role-asdf}
......
...@@ -1357,7 +1357,7 @@ fix composite component dependencies in {\traverse}, ...@@ -1357,7 +1357,7 @@ fix composite component dependencies in {\traverse},
and the somewhat unsatisfactory partial solution we came up with. and the somewhat unsatisfactory partial solution we came up with.
Further fixing this problem would involve addressing the semantic problems Further fixing this problem would involve addressing the semantic problems
of operations on composite components. of operations on composite components.
We could for instance modify the {\opdonep} protocol to propagate a timestamp One solution could be to modify the {\opdonep} protocol to propagate a timestamp
from the transitive dependencies of a build {\step}. from the transitive dependencies of a build {\step}.
Or we could abandon the current model of a generated plan Or we could abandon the current model of a generated plan
as a sequence of atomic actions as a sequence of atomic actions
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment