diff options
Diffstat (limited to 'src/other_tools/just_mr/TARGETS')
| -rw-r--r-- | src/other_tools/just_mr/TARGETS | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/other_tools/just_mr/TARGETS b/src/other_tools/just_mr/TARGETS index 299818d9..85b86f53 100644 --- a/src/other_tools/just_mr/TARGETS +++ b/src/other_tools/just_mr/TARGETS @@ -58,7 +58,7 @@ , "deps": [ ["@", "cli11", "", "cli11"] , ["@", "fmt", "", "fmt"] - , ["@", "gsl-lite", "", "gsl-lite"] + , ["@", "gsl", "", "gsl"] , ["@", "json", "", "json"] , ["src/buildtool/common", "clidefaults"] , ["src/buildtool/execution_api/local", "config"] |