diff options
-rw-r--r-- | documentation/plain_sources/handling_ptxdist_revisions.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/plain_sources/handling_ptxdist_revisions.tex b/documentation/plain_sources/handling_ptxdist_revisions.tex index e9cf135..51fc7d0 100644 --- a/documentation/plain_sources/handling_ptxdist_revisions.tex +++ b/documentation/plain_sources/handling_ptxdist_revisions.tex @@ -52,7 +52,7 @@ drwxr-xr-x 2 jb user 120 Oct 4 18:11 protocol/ drwxr-xr-x 2 jb user 144 Oct 4 18:11 rules/ lrwxrwxrwx 1 jb user 62 Oct 4 18:12 selected_platformconfig -> configs/platform-friendlyarm-mini2440/platformconfig-NAND-128M lrwxrwxrwx 1 jb user 17 Oct 4 18:12 selected_ptxconfig -> configs/ptxconfig -lrwxrwxrwx 1 jb user 115 Oct 4 18:12 selected_toolchain -> /opt/OSELAS.Toolchain-2012.12.0/arm-v4t-linux-gnueabi/gcc-4.7.2-glibc-2.16.0-binutils-2.22-kernel-3.6-sanitized/bin/ +lrwxrwxrwx 1 jb user 115 Oct 4 18:12 selected_toolchain -> /opt/OSELAS.Toolchain-|\oselasTCNVendorVersion \oselasTCNPatchLevel /\ptxdistCompilerName /\ptxdistCompilerVersion |/bin/ \end{ptxshell} Note the three symbolic links \texttt{selected\_platformconfig}, |