Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
E
extras
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Deploy
Releases
Container registry
Model registry
Monitor
Incidents
Service Desk
Analyze
Value stream analytics
Contributor analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Admin message
GitLab upgrade completed. Current version is 17.11.3.
Show more breadcrumbs
The Openvibe Group
extras
Merge requests
!13
Remove unused scripts
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Remove unused scripts
wip-thga-remove-unused-script
into
wip-all-openvibe20-base
Overview
0
Commits
1
Changes
6
Merged
GAUGRY Thierry
requested to merge
wip-thga-remove-unused-script
into
wip-all-openvibe20-base
7 years ago
Overview
0
Commits
1
Changes
6
Expand
0
0
Merge request reports
Compare
wip-all-openvibe20-base
wip-all-openvibe20-base (base)
and
latest version
latest version
e0a65da0
1 commit,
7 years ago
6 files
+
0
−
192
Inline
Compare changes
Side-by-side
Inline
Show whitespace changes
Show one file at a time
Files
6
Search (e.g. *.vue) (Ctrl+P)
scripts/linux-clean deleted
100755 → 0
+
0
−
66
Options
#!/bin/bash
OV_DIST
=
../dist
OV_LOCALTMP
=
../local-tmp
OV_DEP
=
../../dependencies
if
[
`
basename
$PWD
`
!=
"scripts"
]
;
then
echo
This only works when run
in
the
\"
scripts
\"
of the Openvibe
source
tree. Exiting.
exit
1
fi
for
optName
in
$*
;
do
if
[
$optName
==
"--all"
]
;
then
# With full, we delete all artifacts. Even non-native dependencies.
echo
Deleting
$OV_DIST
...
rm
-R
$OV_DIST
echo
Deleting
$OV_LOCALTMP
...
rm
-R
$OV_LOCALTMP
echo
Deleting
$OV_DEP
...
rm
-R
$OV_DEP
exit
elif
[
$optName
==
"--local-tmp"
]
;
then
# Delete files created by compiler as well as by cmake
echo
Deleting
$OV_LOCALTMP
...
rm
-R
$OV_LOCALTMP
elif
[
$optName
==
"--dist"
]
;
then
# Delete the installation folder
echo
Deleting
$OV_DIST
...
rm
-R
$OV_DIST
elif
[
$optName
==
"--dependencies"
]
;
then
# Delete non-native software dependencies
echo
Deleting
$OV_DEP
...
rm
-R
$OV_DEP
else
echo
Usage:
$0
[
--local-tmp
--dist
--dependencies
--all
]
exit
fi
done
# The default is to just clean what was created by the compiler
if
[
$[$BASH_ARGC
]
-eq
0
]
;
then
echo
No command-line switches given, doing
\"
make clean
\"
under ../local-tmp/
dirDebug
=
"
$OV_LOCALTMP
/linux-Debug"
dirRelease
=
"
$OV_LOCALTMP
/linux-Release"
dirRelWithDebInfo
=
"
$OV_LOCALTMP
/linux-RelWithDebInfo"
if
[
-e
"
$dirDebug
"
]
;
then
pushd
"
$dirDebug
"
1> /dev/null
make clean
popd
1> /dev/null
fi
if
[
-e
"
$dirRelease
"
]
;
then
pushd
"
$dirRelease
"
1> /dev/null
make clean
popd
1> /dev/null
fi
if
[
-e
"
$dirRelWithDebInfo
"
]
;
then
pushd
"
$dirRelWithDebInfo
"
1> /dev/null
make clean
popd
1> /dev/null
fi
fi
Loading