diff options
Diffstat (limited to 'Makefile.top')
| -rw-r--r-- | Makefile.top | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.top b/Makefile.top index 62feeb23e272..d8227cbb96b2 100644 --- a/Makefile.top +++ b/Makefile.top @@ -106,6 +106,7 @@ sax\ sc\ scaddins\ sccomp\ +scp2\ scripting\ sd\ sdext\ @@ -228,7 +229,6 @@ redland\ remotebridges\ rhino\ saxon\ -scp2\ setup_native\ shell\ soltools\ |