Update build_release to include myWorkspaceSwitcher

passingthru67 · Oct 1, 2019 · 69d8857 · 69d8857
1 parent 8e7c936
commit 69d8857
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build_release b/build_release
@@ -60,7 +60,7 @@ cat dockedWorkspaces.js | grep -v '_DEBUG_' > "$temp_dir/dockedWorkspaces.js"
 cat extension.js | grep -v '_DEBUG_' > "$temp_dir/extension.js"
 cat intellihide.js | grep -v '_DEBUG_' > "$temp_dir/intellihide.js"
 cat myPressureBarrier.js | grep -v '_DEBUG_' > "$temp_dir/myPressureBarrier.js"
-cat myWorkspaceSwitcherPopup.js | grep -v '_DEBUG_' > "$temp_dir/myWorkspaceSwitcherPopup.js"
+cat myWorkspaceSwitcher.js | grep -v '_DEBUG_' > "$temp_dir/myWorkspaceSwitcher.js"
 cat myWorkspaceThumbnail.js | grep -v '_DEBUG_' > "$temp_dir/myWorkspaceThumbnail.js"
 cat placeDisplay.js | grep -v '_DEBUG_' > "$temp_dir/placeDisplay.js"
 cat prefs.js | grep -v '_DEBUG_' > "$temp_dir/prefs.js"