diff options
Diffstat (limited to 'etc/dev/TARGETS')
| -rw-r--r-- | etc/dev/TARGETS | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/dev/TARGETS b/etc/dev/TARGETS index 40fdcf52..725f884e 100644 --- a/etc/dev/TARGETS +++ b/etc/dev/TARGETS @@ -11,7 +11,7 @@ , "targets": [ ["@", "ssl", "", "crypto"] , ["@", "grpc", "", "grpc++"] - , ["@", "gsl-lite", "", "gsl-lite"] + , ["@", "gsl", "", "gsl"] , ["@", "fmt", "", "fmt"] , ["@", "cli11", "", "cli11"] , ["@", "json", "", "json"] |