Skip to content

Commit d565493

Browse files
committed
Fix install script
1 parent ee0cd5a commit d565493

1 file changed

Lines changed: 5 additions & 9 deletions

File tree

bin/install

Lines changed: 5 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -174,16 +174,12 @@ instantiate_main_with_fallback() {
174174
echo
175175
echo "Preparing main manifest for Julia ${_julia_major}..."
176176

177-
if [[ $_julia_major == "1.11" ]]; then
178-
if [[ -f "${MAIN_DEFAULT}" ]]; then
179-
cp "${MAIN_DEFAULT}" "${MAIN_MANIFEST}"
180-
echo "Copied ${MAIN_DEFAULT} to ${MAIN_MANIFEST}"
181-
else
182-
echo "Error: ${MAIN_DEFAULT} not found"
183-
exit 1
184-
fi
177+
if [[ -f "${MAIN_DEFAULT}" ]]; then
178+
cp "${MAIN_DEFAULT}" "${MAIN_MANIFEST}"
179+
echo "Copied ${MAIN_DEFAULT} to ${MAIN_MANIFEST}"
185180
else
186-
echo "Julia 1.12 selected: not copying default manifest by request."
181+
echo "Error: ${MAIN_DEFAULT} not found"
182+
exit 1
187183
fi
188184

189185
if ! instantiate_main_with_fallback "." "main"; then

0 commit comments

Comments
 (0)