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"]