mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-18 13:17:55 +02:00
doc: Fix comment in contrib/devtools/check-deps.sh script
This commit is contained in:
parent
712d105e09
commit
7a8a6a0667
1 changed files with 1 additions and 1 deletions
|
|
@ -58,7 +58,7 @@ usage() {
|
||||||
echo "Usage: $(basename "${BASH_SOURCE[0]}") [BUILD_DIR]"
|
echo "Usage: $(basename "${BASH_SOURCE[0]}") [BUILD_DIR]"
|
||||||
}
|
}
|
||||||
|
|
||||||
# Output makefile targets, converting library .a paths to libtool .la targets
|
# Output makefile targets, converting library .a paths to CMake targets
|
||||||
lib_targets() {
|
lib_targets() {
|
||||||
for lib in "${!LIBS[@]}"; do
|
for lib in "${!LIBS[@]}"; do
|
||||||
for lib_path in ${LIBS[$lib]}; do
|
for lib_path in ${LIBS[$lib]}; do
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue