Skip to content

Commit 07b1615

Browse files
committed
Remove flags. Keep link to all_links
1 parent d337dac commit 07b1615

File tree

4 files changed

+1
-15
lines changed

4 files changed

+1
-15
lines changed

docs-rtd/source/index.rst

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -48,11 +48,6 @@ Table of Contents
4848

4949
RELEASE-NOTES
5050

51-
.. toctree::
52-
:hidden:
53-
54-
all-links
55-
5651
This development kit includes example programs and RTL that are easy to build and demonstrate the platform's capabilities. Several examples are listed below.
5752

5853
Example Applications

hdk_setup.sh

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,6 @@
1717
# When being sourced $0 will be the interactive shell and $BASH_SOURCE_ will contain the script being sourced
1818
# When being run $0 and $_ will be the same.
1919

20-
set -x
21-
2220
script=${BASH_SOURCE[0]}
2321
if [ $script == $0 ]; then
2422
echo "ERROR: You must source this script"
@@ -256,4 +254,3 @@ fi
256254
cd $current_dir
257255

258256
info_msg "AWS HDK setup PASSED."
259-
set +x

sdk_setup.sh

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,6 @@
1717
# When being sourced $0 will be the interactive shell and $BASH_SOURCE_ will contain the script being sourced
1818
# When being run $0 and $_ will be the same.
1919

20-
set -x
21-
2220
script=${BASH_SOURCE[0]}
2321
if [ $script == $0 ]; then
2422
echo "ERROR: You must source this script"
@@ -63,5 +61,4 @@ deactivate
6361
echo "Cython bindings setup complete!"
6462

6563
cd $current_dir
66-
info_msg "$script_name PASSED"
67-
set +x
64+
info_msg "$script_name PASSED"

vitis_setup.sh

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,6 @@
1717
# When being sourced $0 will be the interactive shell and $BASH_SOURCE_ will contain the script being sourced
1818
# When being run $0 and $_ will be the same.
1919

20-
set -x
21-
2220
script=${BASH_SOURCE[0]}
2321
if [ $script == $0 ]; then
2422
echo "ERROR: You must source this script"
@@ -581,4 +579,3 @@ function main {
581579
}
582580

583581
main
584-
set +x

0 commit comments

Comments
 (0)